Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Spell Checker #44

Merged
merged 6 commits into from
Aug 23, 2024
Merged

Spell Checker #44

merged 6 commits into from
Aug 23, 2024

Conversation

StripedMonkey
Copy link
Contributor

In taking a look at the project, there are a few typos in type names that potentially cause a lot of churn to fix. It's better to catch them now, than have to touch a thousand files later when entitiy is used in a hundred places.

Not trying to be a grammar nazi or anything in comments, but type names matter!

I've separated the spell corrections to different commits to minimize the number of files touched by each commit.

If you don't want to have a bunch of commits for spelling mistakes, make sure to commit and squash.

@Snowiiii
Copy link
Owner

Hey. Looks good. Thanks. I just writen coden too fast too often haha

@Snowiiii
Copy link
Owner

But you have to resolve the conflicts and fix the CI before i can merge

@StripedMonkey
Copy link
Contributor Author

I will rebase when I'm home.

@StripedMonkey StripedMonkey force-pushed the spell_checker branch 5 times, most recently from 16a0dd8 to 12890ff Compare August 23, 2024 00:39
@Snowiiii
Copy link
Owner

Great. CI is passing now, Just fix the conflicts then again

@StripedMonkey
Copy link
Contributor Author

If you're going to merge other PRs at 6AM my time, and I rebase at 6PM my time, this is going to go on for a while. Feel free to rebase yourself. It's not like these are complex changes.

@Snowiiii
Copy link
Owner

Is this ready for merge ?

@StripedMonkey
Copy link
Contributor Author

I don't see why it wouldn't be. Go ahead when you're ready.

@Snowiiii Snowiiii merged commit 43cbd6c into Snowiiii:master Aug 23, 2024
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants